√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

當(dāng)前位置: 在線翻譯 > 英語翻譯 > visual modeling language
ONOFF
劃詞翻譯
導(dǎo)航
建議反饋
詞典App

visual modeling language中文是什么意思

  • 可視化建模語言

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

  • 例句與用法
  • This paper composes a new way to describe software architecture through combining the visual modeling language which is object oriented and the formal method which based on temporal logic . it contributes to the research of software architecture description and the research of formal semantics of uml as well as the application of formal method in the software development
    本文通過將面向?qū)ο蟮目梢暬UZ言與基于時(shí)序邏輯的形式化方法結(jié)合起來描述軟件體系結(jié)構(gòu),對(duì)軟件體系結(jié)構(gòu)描述研究、 uml形式語義研究和形式化方法在軟件開發(fā)中的應(yīng)用等方面都有一定的推動(dòng)作用。
  • Based on these , this paper explores a new way which combines the visual modeling language and formal method to describe software architecture through combining uml 2 . 0 and xyz / adl . in this paper , the disadvantage of several main methods of software architectural description is analysed , the advantage of uml 2 . 0 compared with uml 1 . x in the software architecture description is analysed , the corresponding relationship between uml 2 . 0 and xyz / adl in the architectural description is given and uml 2 . 0 model elements which used to describe the according architectural conception are determined , then a new way to describe software architecture which combine uml 2 . 0 and xyz / adl through defining the semantics of xyz / e for uml 2 . 0 is composed . in order to realize this method , the formal semantics of uml 2 . 0 sequence diagram and state diagram based on xyz / e are defined . in final , the arcitectural description of a simple dask manager system which uses our method is given
    本文分析和比較了當(dāng)前國內(nèi)外常用的軟件體系結(jié)構(gòu)描述方法,指出了它們各自存在的問題;分析了uml2 . 0與uml1 . x相比在軟件體系結(jié)構(gòu)描述方面的優(yōu)勢,確定了用uml2 . 0描述軟件體系結(jié)構(gòu)概念元素所使用的相關(guān)模型元素,給出了uml2 . 0與xyz / adl在體系結(jié)構(gòu)描述中的元素對(duì)應(yīng)關(guān)系;提出了一種通過定義uml2 . 0相關(guān)視圖的xyz / e語義,把uml2 . 0與xyz / adl結(jié)合起來描述軟件體系結(jié)構(gòu)的新方法,并分別定義了uml2 . 0的順序圖和狀態(tài)圖的xyz / e時(shí)序邏輯語義;最后通過對(duì)一個(gè)簡單的任務(wù)管理系統(tǒng)的體系結(jié)構(gòu)進(jìn)行描述,把本文提出的結(jié)合思想運(yùn)用到實(shí)例系統(tǒng)的描述當(dāng)中。
  • So , in this paper , it does the research of the bidirectional conversion between uml and xyz / adl . in this way it combines the oo visual modeling language and formal method based on temporal logic together to describe software architecture , and so to find how to apply the formal method to real software development to promote the research not only on main technologies in software but also on formal method
    基于此,本文開展了對(duì)基于時(shí)序邏輯的軟件體系結(jié)構(gòu)描述語言xyz / adl和uml之間的雙向轉(zhuǎn)換問題的研究,通過研究二者之間的轉(zhuǎn)換,實(shí)現(xiàn)將基于時(shí)序邏輯的形式化方法與面向?qū)ο蟮目梢暬UZ言相結(jié)合描述軟件體系結(jié)構(gòu),來探討如何將形式化方法應(yīng)用于實(shí)際的軟件開發(fā)過程中,這樣不但能促進(jìn)對(duì)當(dāng)前軟件主流技術(shù)的研究,而且能促進(jìn)對(duì)形式化開發(fā)方法的研究。
  • 推薦英語閱讀
visual modeling language的中文翻譯,visual modeling language是什么意思,怎么用漢語翻譯visual modeling language,visual modeling language的中文意思,visual modeling language的中文visual modeling language in Chinese,visual modeling language的中文,visual modeling language怎么讀,發(fā)音,例句,用法和解釋由查查在線詞典提供,版權(quán)所有違者必究。

說出您的建議或使用心得